Derive boolean expressions for logic circuits